combinatory logic
コンビネータ論理
applicative computing systems
B, C, K, W system
categorical abstract machine
Combinatory categorial grammar
explicit substitution
fixed-point combinator
Graph reduction machine
Lambda calculus
and
Cylindric algebra
, other approaches to modelling quantification and eliminating variables
SKI combinator calculus
supercombinator
To Mock a Mockingbird
Combinatory logic - Wikipedia